Problems with tag O((9!)^9)